(set-logic ALL)
(set-info :status sat)
(set-option :cegqi false)
(set-option :sygus-inference try)
(declare-const v7 Bool)
(declare-const v9 Bool)
(declare-const v11 Bool)
(assert (and v9 v11 v7))
(check-sat)
